منابع مشابه
Denotation, Paradox and Multiple Meanings∗
In line with the Principle of Uniform Solution, Graham Priest has challenged advocates like myself of the “multiple-meanings” solution to the paradoxes of truth and knowledge, due to the medieval logician Thomas Bradwardine, to extend this account to a similar solution to the paradoxes of denotation, such as Berry’s, König’s and Richard’s. I here rise to this challenge by showing how to adapt B...
متن کاملAn Infinitary Model of Linear Logic
In this paper, we construct an infinitary variant of the relational model of linear logic, where the exponential modality is interpreted as the set of finite or countable multisets. We explain how to interpret in this model the fixpoint operator Y as a Conway operator alternatively defined in an inductive or a coinductive way. We then extend the relational semantics with a notion of color or pr...
متن کاملAn infinitary encoding of temporal equilibrium logic
This paper studies the relation between two recent extensions of propositional Equilibrium Logic, a well-known logical characterisation of Answer Set Programming. In particular, we show how Temporal Equilibrium Logic, which introduces modal operators as those typically handled in Linear-Time Temporal Logic (LTL), can be encoded into Infinitary Equilibrium Logic, a recent formalisation that allo...
متن کاملAn Infinitary Version of Sperner's Lemma
We prove an extension of the well-known combinatorial-topological lemma of E. Sperner [20] to the case of infinite-dimensional cubes. It is obtained as a corollary to an infinitary extension of the Lebesgue Covering Dimension Theorem .
متن کاملCountable Infinitary Theories Admitting an Invariant Measure
Let L be a countable language. We characterize, in terms of definable closure, those countable theories Σ of Lω1,ω(L) for which there exists an S∞-invariant probability measure on the collection of models of Σ with underlying set N. Restricting to Lω,ω(L), this answers an open question of Gaifman from 1964, via a translation between S∞-invariant measures and Gaifman’s symmetric measure-models w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Analysis
سال: 2004
ISSN: 0003-2638,1467-8284
DOI: 10.1111/j.1467-8284.2004.00472.x